本介紹模塊彌補了原始、未結構化的字元陣列與 正式語言理論之間的差距。我們從 指令式搜尋——手動逐字檢查——轉向 宣告式規範，在其中我們定義一個形式語法來表示所有有效字串的無限集合。

1. 字串熵的本質

原始資料本質上是「雜亂」的，因為它缺乏結構；只有當形式語法對其組成部分進行分類後，才具有意義。在協定設計中，驗證這種熵是防範錯誤輸入的第一道防線。

2. 範型與自動機

正則表達式源自於 喬姆斯基層次結構。正則表達式是建立 決定性有限自動機（DFA）的藍圖。與撰寫 if-else 鏈來尋找模式不同，我們定義的是模式 是什麼，讓引擎負責處理遍歷邏輯。